Paulson, Lawrence C. : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (108)
Les plus populaires
Liste
- Liste
- Tableau

1

A Mechanised Proof of Gödel’s Incompleteness Theorems Using Nominal Isabelle

Paulson, Lawrence C.

Journal:

Journal of Automated Reasoning

Année:

2015

Langue:

english

Fichier:

PDF, 5.96 MB

english, 2015

2

Quantified Multimodal Logics in Simple Type Theory

Christoph Benzmüller, Lawrence C. Paulson

Journal:

Logica Universalis

Année:

2013

Langue:

english

Fichier:

PDF, 252 KB

english, 2013

3

Machine Learning for First-Order Theorem Proving

Bridge, James P., Holden, Sean B., Paulson, Lawrence C.

Journal:

Journal of Automated Reasoning

Année:

2014

Langue:

english

Fichier:

PDF, 1.31 MB

english, 2014

4

The Beirut Massacre: The Complete Kahan Commission Report

Paulson, Belden H., Serfaty, Simon, Gray, Lawrence

Journal:

American Political Science Review

Année:

1983

Langue:

english

Fichier:

PDF, 100 KB

english, 1983

5

Should your specification language be typed

Lamport, Leslie, Paulson, Lawrence C.

Journal:

ACM Transactions on Programming Languages and Systems

Année:

1999

Langue:

english

Fichier:

PDF, 269 KB

english, 1999

6

Introduction to Milestones in Interactive Theorem Proving

Avigad, Jeremy, Blanchette, Jasmin Christian, Klein, Gerwin, Paulson, Lawrence, Popescu, Andrei, Snelting, Gregor

Journal:

Journal of Automated Reasoning

Année:

2018

Langue:

english

Fichier:

PDF, 373 KB

english, 2018

7

The foundation of a generic theorem prover

Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Année:

1989

Langue:

english

Fichier:

PDF, 1.60 MB

english, 1989

8

A Formal Proof of Sylow's Theorem

Florian Kammüller, Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Année:

1999

Langue:

english

Fichier:

PDF, 142 KB

english, 1999

9

A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS

PAULSON, LAWRENCE C.

Journal:

The Review of Symbolic Logic

Année:

2014

Langue:

english

Fichier:

PDF, 121 KB

english, 2014

10

Lateralization of Auditory Sensory Gating and Neuropsychological Dysfunction in Schizophrenia

Thoma, Robert J., Hanlon, Faith M., Moses, Sandra N., Edgar, J. Christopher, Huang, Mingxiong, Weisend, Michael P., Irwin, Jessica, Sherwood, Andrea, Paulson, Kim, Bustillo, Juan, Adler, Lawrence E.,

Journal:

American Journal of Psychiatry

Année:

2003

Langue:

english

Fichier:

PDF, 234 KB

english, 2003

11

[Lecture Notes in Computer Science] Isabelle Volume 828 || Constructive Type Theory

Paulson, Lawrence C.

Année:

1994

Langue:

english

Fichier:

PDF, 3.97 MB

english, 1994

12

Safety, Tolerability, and Pharmacokinetic Properties of Intravenous Delafloxacin After Single and Multiple Doses in Healthy Volunteers

Hoover, Randall, Hunt, Thomas, Benedict, Michael, Paulson, Susan K., Lawrence, Laura, Cammarata, Sue, Sun, Eugene

Journal:

Clinical Therapeutics

Année:

2016

Langue:

english

Fichier:

PDF, 250 KB

english, 2016

13

The Pharmacokinetics of the CYP3A Substrate Midazolam After Steady-state Dosing of Delafloxacin

Paulson, Susan K., Wood-Horrall, Rebecca N., Hoover, Randall, Quintas, Megan, Lawrence, Laura E., Cammarata, Sue K.

Journal:

Clinical Therapeutics

Année:

2017

Langue:

english

Fichier:

PDF, 271 KB

english, 2017

14

Computational logic: its origins and applications

Paulson, Lawrence C.

Journal:

Proceedings Mathematical Physical & Engineering Sciences

Année:

2018

Langue:

english

Fichier:

PDF, 388 KB

english, 2018

15

Relations between secrets: two formal analyses of the Yahalom protocol

Paulson, Lawrence C.

Journal:

Journal of Computer Security

Année:

2001

Fichier:

PDF, 123 KB

2001

16

Infrequent p53 mutations in 7,12-dimethylbenz[a]anthracene–induced mammary tumors in BALB/c and p53 hemizygous mice

D. Joseph Jerry, Janet S. Butel, Lawrence A. Donehower, Emily J. Paulson, Charles Cochran, Roger W. Wiseman, Daniel Medina

Journal:

Molecular Carcinogenesis

Année:

1994

Langue:

english

Fichier:

PDF, 804 KB

english, 1994

17

Natural deduction as higher-order resolution

Lawrence C. Paulson

Journal:

The Journal of Logic Programming

Année:

1986

Langue:

english

Fichier:

PDF, 1.54 MB

english, 1986

18

Lightweight relevance filtering for machine-generated resolution problems

Jia Meng, Lawrence C. Paulson

Journal:

Journal of Applied Logic

Année:

2009

Langue:

english

Fichier:

PDF, 796 KB

english, 2009

19

Constructing recursion operators in intuitionistic type theory

Lawrence C. Paulson

Journal:

Journal of Symbolic Computation

Année:

1986

Langue:

english

Fichier:

PDF, 1.58 MB

english, 1986

20

Proving termination of normalization functions for conditional expressions

Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Année:

1986

Langue:

english

Fichier:

PDF, 566 KB

english, 1986

21

Mechanizing set theory

Lawrence C. Paulson, Krzysztof Grabczewski

Journal:

Journal of Automated Reasoning

Année:

1996

Langue:

english

Fichier:

PDF, 1.68 MB

english, 1996

22

Set theory for verification: I. From foundations to functions

Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Année:

1993

Langue:

english

Fichier:

PDF, 2.27 MB

english, 1993

23

Set theory for verification. II: Induction and recursion

Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Année:

1995

Langue:

english

Fichier:

PDF, 2.64 MB

english, 1995

24

Book reviews

M. D. Atkinson, David Lester, Lawrence C. Paulson

Journal:

Formal Aspects of Computing

Année:

1992

Langue:

english

Fichier:

PDF, 329 KB

english, 1992

25

Mechanizing compositional reasoning for concurrent systems: some lessons

Sidi O. Ehmety, Lawrence C. Paulson

Journal:

Formal Aspects of Computing

Année:

2005

Langue:

english

Fichier:

PDF, 140 KB

english, 2005

26

An overview of the verification of SET

Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson

Journal:

International Journal of Information Security

Année:

2005

Langue:

english

Fichier:

PDF, 951 KB

english, 2005

27

Organizing Numerical Theories Using Axiomatic Type Classes

Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Année:

2004

Langue:

english

Fichier:

PDF, 140 KB

english, 2004

28

Verifying the SET Purchase Protocols

Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Année:

2006

Langue:

english

Fichier:

PDF, 682 KB

english, 2006

29

Preface

Bernhard Beckert, Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Année:

2007

Langue:

english

Fichier:

PDF, 117 KB

english, 2007

30

Translating Higher-Order Clauses to First-Order Clauses

Jia Meng, Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Année:

2008

Langue:

english

Fichier:

PDF, 448 KB

english, 2008

31

MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions

Behzad Akbarpour, Lawrence Charles Paulson

Journal:

Journal of Automated Reasoning

Année:

2010

Langue:

english

Fichier:

PDF, 650 KB

english, 2010

32

Infrared target and background radiometric measurements—concepts units and techniques

Gilbert Kelton, G.F. Levy, Ely Bell, Lucien M. Biberman, George E. Brown, John N. Hamilton, R.Clark Jones, D.S. Lowe, Roy Paulson, George J. Zissis, M.R. Nagel, Lawrence Nichols, N.E. Beardsley, Eric

Journal:

Infrared Physics

Année:

1963

Langue:

english

Fichier:

PDF, 2.41 MB

english, 1963

33

Verifying the unification algorithm in LCF

Lawrence C. Paulson

Journal:

Science of Computer Programming

Année:

1985

Langue:

english

Fichier:

PDF, 1.56 MB

english, 1985

34

A higher-order implementation of rewriting

Lawrence Paulson

Journal:

Science of Computer Programming

Année:

1983

Langue:

english

Fichier:

PDF, 1.59 MB

english, 1983

35

Distinct M50 and M100 auditory gating deficits in schizophrenia

Faith M. Hanlon, Gregory A. Miller, Robert J. Thoma, Jessica Irwin, Aaron Jones, Sandra N. Moses, Mingxiong Huang, Michael P. Weisend, Kim M. Paulson, J. Christopher Edgar, Lawrence E. Adler, Jose M.

Journal:

Psychophysiology

Année:

2005

Langue:

english

Fichier:

PDF, 1.21 MB

english, 2005

36

MRI Reveals Gross Structural Abnormalities in PTSD

JOSE M. CANIVE, JEFFREY DAVID LEWINE, WILLIAM W. ORRISON JR., CHRIS J. EDGAR, SHERRI L. PROVENCAL, JOHN T. DAVIS, KIM PAULSON, DAVID GRAEBER, BRIAN ROBERTS, PATRICIO R. ESCALONA, LAWRENCE CALAIS

Journal:

Annals of the New York Academy of Sciences

Année:

1997

Langue:

english

Fichier:

PDF, 356 KB

english, 1997

37

Electrophysiological Abnormalities in PTSD

JEFFREY DAVID LEWINE, JOSE M. CANIVE, WILLIAM W. ORRISON Jr., CHRIS J. EDGAR, SHERRI L. PROVENCAL, JOHN T. DAVIS, KIM PAULSON, DAVID GRAEBER, BRIAN ROBERTS, PATRICIO R. ESCALONA, LAWRENCE CALAIS

Journal:

Annals of the New York Academy of Sciences

Année:

1997

Langue:

english

Fichier:

PDF, 248 KB

english, 1997

38

A scanning electron-microscopic study of tongue development in the frog Rana pipiens

Ruth B. Paulson, Keith E. Alley, Lawrence J. Salata, Christopher C. Whitmyer

Journal:

Archives of Oral Biology

Année:

1995

Langue:

english

Fichier:

PDF, 1020 KB

english, 1995

39

Automation for interactive proof: First prototype

Jia Meng, Claire Quigley, Lawrence C. Paulson

Journal:

Information and Computation

Année:

2006

Langue:

english

Fichier:

PDF, 1.16 MB

english, 2006

40

Erratum to “Automation for interactive proof: First prototype” [Inform. and Comput. 204 (2006) 1575–1596]

Jia Meng, Claire Quigley, Lawrence C. Paulson

Journal:

Information and Computation

Année:

2006

Fichier:

PDF, 99 KB

2006

41

A time-dependent statistical model which relates current clinical status to prognosis: Application to advanced prostatic cancer

Lawrence E. Myers, David F. Paulson, William R. Berry, Edwin B. Cox, John Laszlo, Wilma Stanley

Journal:

Journal of Chronic Diseases

Année:

1980

Langue:

english

Fichier:

PDF, 802 KB

english, 1980

42

A test of the ‘hot’ mustard extraction method of sampling earthworms

Amy Paulson Lawrence, Michael A Bowers

Journal:

Soil Biology and Biochemistry

Année:

2002

Langue:

english

Fichier:

PDF, 95 KB

english, 2002

43

Case Splitting in an Automatic Theorem Prover for Real-Valued Special Functions

James P. Bridge, Lawrence Charles Paulson

Journal:

Journal of Automated Reasoning

Année:

2013

Langue:

english

Fichier:

PDF, 357 KB

english, 2013

44

Accountability protocols

Bella, Giampaolo, Paulson, Lawrence C.

Journal:

ACM Transactions on Information and System Security

Année:

2006

Langue:

english

Fichier:

PDF, 424 KB

english, 2006

45

Neuropsychological Similarities in Lateralized Parkinsonism

Huber, Steven J., Freidenberg, Donald L., Shuttleworth, Edwin C., Paulson, George W., Clapp, Lawrence E.

Journal:

Année:

1989

Langue:

english

Fichier:

PDF, 703 KB

english, 1989

46

LEO-II and Satallax on the Sledgehammer test bench

Sultana, Nik, Blanchette, Jasmin Christian, Paulson, Lawrence C.

Journal:

Journal of Applied Logic

Année:

2013

Langue:

english

Fichier:

PDF, 216 KB

english, 2013

47

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Formal verification of analog designs using MetiTarski

Denman, William, Akbarpour, Behzad, Tahar, Sofiene, Zaki, Mohamed H., Paulson, Lawrence C.

Année:

2009

Langue:

english

Fichier:

PDF, 164 KB

english, 2009

48

Verifying multicast-based security protocols using the inductive method

Martina, Jean Everson, Paulson, Lawrence Charles

Journal:

International Journal of Information Security

Année:

2015

Langue:

english

Fichier:

PDF, 418 KB

english, 2015

49

[IEEE 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Dresden (2010.03.8-2010.03.12)] 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Formal verification of analog circuits in the presence of noise and process variation

Narayanan, Rajeev, Akbarpour, Behzad, Zaki, Mohamed H, Tahar, Sofiene, Paulson, Lawrence C

Année:

2010

Langue:

english

Fichier:

PDF, 126 KB

english, 2010

50

Inductive analysis of the Internet protocol TLS

Paulson, Lawrence C.

Journal:

ACM Transactions on Information and System Security

Année:

1999

Langue:

english

Fichier:

PDF, 172 KB

english, 1999